//获取字符字面量中第一个字符
type FirstChar<T>=T extends `${infer L}${infer R}` ? L:never
type A1=FirstChar<'handle'>//h
type A2=FirstChar<'dev'>//d
type A3=FirstChar<''>//never
type A4=FirstChar<'d'>//d

export {}